extern void boot_set_stat(uint16_t stat);
extern void boot_set_stat2(uint16_t stat);
extern void * check_ubimg(void);
extern void nand_boot(void);
extern void imapx200_check_reset(void);
extern int usb_otg_check(void);
extern int usb_otg_load(void);
extern int timer_init(void);
extern void udelay(ulong us);
extern void imapx200_init_gpio(void);
extern void mmu_table_init(void);
extern void mmu_start(void);
extern void denali_study(void);
extern void imapx200_cache_clean(uint32_t start, uint32_t end);
extern void imapx200_cache_inv(uint32_t start, uint32_t end);

#define clean_cache imapx200_cache_clean
#define inv_cache imapx200_cache_inv
